تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۴۷ ثانیه یافت شد.

1. Automated theorem proving

پدیدآورنده: Special Session on Automatic Theorem Proving (1983 : Denver, Colo.)

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Automatic theorem proving- Congresses

رده :

A96

S64

1983

مشاهده در قفسه مجازی RIS Bibtex ISO

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است